home *** CD-ROM | disk | FTP | other *** search
/ Developer Source 6 / developer source - volume 6.iso / aiexp / nov94 / gart13.gif < prev    next >
Graphics Interchange Format  |  1997-01-12  |  12.3 KB  |  378x182  |  4-bit (16 colors)
   ocr: FIGURE 3. How Horn clauses can be dlagrammed. TERM : TERM TERM